翻訳と辞書
Words near each other
・ Normal pressure hydrocephalus
・ Normal probability plot
・ Normal route
・ Normal scheme
・ Normal school
・ Normal School for Colored Girls
・ Normal School Historic District
・ Normal science
・ Normal score
・ Normal section
・ Normal sequence
・ Normal shock tables
・ Normal space
・ Normal Square, Pennsylvania
・ Normal Station, Memphis
Normal subgroup
・ Normal surface
・ Normal tension glaucoma
・ Normal Theater
・ Normal Township
・ Normal Township, McLean County, Illinois
・ Normal type
・ Normal variance-mean mixture
・ Normal weight obesity
・ Normal yield (agriculture)
・ Normal Young Man
・ Normal!
・ Normal, Alabama
・ Normal, Illinois
・ Normal, Indiana


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Normal subgroup : ウィキペディア英語版
Normal subgroup

In abstract algebra, a normal subgroup is a subgroup which is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup ''H'' of a group ''G'' is normal in ''G'' if and only if ''gH'' = ''Hg'' for all ''g'' in ''G'', i.e., the sets of left and right cosets coincide. Normal subgroups (and ''only'' normal subgroups) can be used to construct quotient groups from a given group.
Évariste Galois was the first to realize the importance of the existence of normal subgroups.〔 C.D. Cantrell, ''Modern Mathematical Methods for Physicists and Engineers.'' Cambridge University Press, 200, p 160.〕
== Definitions ==
A subgroup ''N'' of a group ''G'' is called a normal subgroup if it is invariant under conjugation; that is, for each element ''n'' in ''N'' and each ''g'' in ''G'', the element ''gng''−1 is still in ''N''.〔 〕 We write
:N \triangleleft G\,\,\Leftrightarrow\,\forall\,n\in,\forall\,g\in,\, gng^\in.
For any subgroup, the following conditions are equivalent to normality. Therefore any one of them may be taken as the definition:
*For all ''g'' in ''G'', ''gNg''−1 ⊆ ''N''.
*For all ''g'' in ''G'', ''gNg''−1 = ''N''.
*''g'',''h'' ∈ ''G'', ''gh'' ∈ ''N'' → ''hg'' ∈ ''N''.
*The sets of left and right cosets of ''N'' in ''G'' coincide.
*For all ''g'' in ''G'', ''gN'' = ''Ng''.
*''N'' is a union of conjugacy classes of ''G''.
*There is some homomorphism on ''G'' for which ''N'' is the kernel.
The last condition accounts for some of the importance of normal subgroups; they are a way to internally classify all homomorphisms defined on a group. For example, a non-identity finite group is simple if and only if it is isomorphic to all of its non-identity homomorphic images,〔 Pál Dõmõsi and Chrystopher L. Nehaniv, ''Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11)'', SIAM, 2004, p.7 〕 a finite group is perfect if and only if it has no normal subgroups of prime index, and a group is imperfect if and only if the derived subgroup is not supplemented by any proper normal subgroup.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Normal subgroup」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.